$\forall$$a$:$\mathbb{Z}$. ({-}{-}$a$) = $a$